Combining Texts

All the ideas for 'Intensional Logic', 'Abstract of 'The Fourfold Root'' and 'Understanding and Essence'

expand these ideas     |    start again     |     specify just one area for these texts

21 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
19259 If 2-D conceivability can a priori show possibilities, this is a defence of conceptual analysis [Vaidya]
2. Reason / B. Laws of Thought / 2. Sufficient Reason
4187 'There is nothing without a reason why it should be rather than not be' (a generalisation of 'Why?') [Schopenhauer]
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
15375 If terms change their designations in different states, they are functions from states to objects [Fitting]
15376 Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
15378 Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
15379 Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
11026 Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
19262 Essential properties are necessary, but necessary properties may not be essential [Vaidya]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
4192 All necessity arises from causation, which is conditioned; there is no absolute or unconditioned necessity [Schopenhauer]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
19267 Define conceivable; how reliable is it; does inconceivability help; and what type of possibility results? [Vaidya]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / c. Possible but inconceivable
19268 Inconceivability (implying impossibility) may be failure to conceive, or incoherence [Vaidya]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
11. Knowledge Aims / A. Knowledge / 2. Understanding
4190 All understanding is an immediate apprehension of the causal relation [Schopenhauer]
19265 Can you possess objective understanding without realising it? [Vaidya]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / b. Gettier problem
19260 Gettier deductive justifications split the justification from the truthmaker [Vaidya]
19266 In a disjunctive case, the justification comes from one side, and the truth from the other [Vaidya]
16. Persons / C. Self-Awareness / 2. Knowing the Self
4191 What we know in ourselves is not a knower but a will [Schopenhauer]
16. Persons / D. Continuity of the Self / 3. Reference of 'I'
21368 The knot of the world is the use of 'I' to refer to both willing and knowing [Schopenhauer]
18. Thought / C. Content / 1. Content
19264 Aboutness is always intended, and cannot be accidental [Vaidya]
27. Natural Reality / D. Time / 1. Nature of Time / b. Relative time
4189 Time may be defined as the possibility of mutually exclusive conditions of the same thing [Schopenhauer]